singleton substitution造句
例句与造句
- For first-order syntactical unification, Martelli and Montanari gave an algorithm that reports unsolvability or computes a complete and minimal singleton substitution set containing the so-called "'most general unifier " '.
- It's difficult to find singleton substitution in a sentence. 用singleton substitution造句挺难的